Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
731	Auto in Agda joint work with Pepijn Kokke ! IFIP WG 2.1 #71 Zeegse, the Netherlands Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Logic Functional languages Agda Deduction Prolog Soundness Mathematical proof IP Proof theory Programming language theory Software engineering
732	c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands Results and Conclusions from the VLISP Verication Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Programming language theory Programming language semantics Programming language implementation Compiler construction Denotational semantics PreScheme Compiler Formal methods Programming language Software engineering Theoretical computer science Logic in computer science
733	Super Solutions Emmanuel Hebrard Toulouse Outline Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-17 03:08:57 Constraint satisfaction Computing Mathematical optimization Polynomial Constraint Constraint logic programming Constraint programming Software engineering Computer programming
734	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:15 Essentials of Programming Languages Higher education Academia Technology Scheme programming language Massachusetts Institute of Technology Structure and Interpretation of Computer Programs
735	Utilizing Static Analysis for Programmable Logic Controllers S´ebastien Bornot Ralf Huuck † Ben Lukoschus Lehrstuhl f¨ur Softwaretechnologie Universit¨at Kiel Preußerstraße 1–9, DKiel, Germany seb rhu bls Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 05:57:33 Data types Type theory Theoretical computer science Program analysis Programming language implementation Abstract interpretation Type system Model checking Programming language Software engineering Computing Computer programming
736	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:49 Integer sequences Combinatorics Arithmetic Big O notation Dynamic programming Fibonacci Summation Factorial Mathematics Mathematical notation Fibonacci numbers
737	Using Answer Set Programming to model multi-agent scenarios involving agents’ knowledge about other’s knowledge Chitta Baral, Gregory Gelfond Tran Cao Son, Enrico Pontelli Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:07:51 Modal logic Artificial intelligence Knowledge representation Kripke semantics Frame problem Entailment Epistemic modal logic Common knowledge Stable model semantics Logic Philosophical logic Logic programming
738	CS 373: Combinatorial Algorithms, Fall 2000 Homework 1 (due September 12, 2000 at midnight) Name: Net ID: Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 08:48:11 Mathematical logic Theoretical computer science Dynamic programming Greedy algorithm Sorting algorithm Randomized algorithm Mathematics Applied mathematics Algorithm
739	Formal Verification, Engineering and Business Value Ralf Huuck NICTA Sydney, Australia School of Computer Science and Engineering University of New South Wales Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 18:15:45 Electronic engineering Logic in computer science Software testing Software verification Static program analysis Model checking Formal verification Programming tool Software bug Formal methods Software development Theoretical computer science
740	A Efficiently Deciding µ-calculus with Converse over Finite Trees ` , CNRS Pierre Geneves Nabil Laya¨ıda, Inria Alan Schmitt, Inria Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2015-02-04 13:59:05 Formal languages Logical syntax Model theory Linear temporal logic Well-formed formula Interpretation Function Computation tree logic Logic programming Logic Metalogic Temporal logic

UPDATE